Local consistency - PDFSEARCH.IO - Document Search Engine

Local consistency
Results: 221

#	Item
61	Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints∗ Christian Bessiere LIRMM, CNRS and U. Montpellier Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Computing Local consistency Constraint satisfaction problem Constraint satisfaction Maximum flow problem Constraint inference Constraint programming Software engineering Computer programming
62	The Thousand Faces of Constraint Propagation Emmanuel Hebrard Toulouse Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-03-05 12:20:11 Mathematical optimization Constraint satisfaction problem Constraint satisfaction Local consistency Decomposition method Linear programming relaxation Constraint programming Software engineering Computer programming
63	Tailoring Solver-independent Constraint Models: A Case Study with Essence0 and Minion Ian P. Gent, Ian Miguel and Andrea Rendl School of Computer Science, University of St Andrews, UK {ipg, ianm, andrea} @cs.st-andrews.a Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:54 Artificial intelligence Minion Applied mathematics Local consistency PROPT Constraint programming Computing Constraint satisfaction
64	On Backdoors To Tractable Constraint Languages Clement Carbonnel1,3 , Martin C. Cooper2 , and Emmanuel Hebrard1 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-05-28 03:24:32 Applied mathematics Parameterized complexity Constraint satisfaction problem Constraint satisfaction Idempotence Local consistency P versus NP problem Sheaf Complexity of constraint satisfaction Constraint programming Mathematics Theoretical computer science
65	Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:07 Logic programming Constraint satisfaction Local consistency Common subexpression elimination SCIP ECLiPSe Constraint programming Declarative programming Software engineering
66	Journal of Artificial Intelligence Research Submitted 10/10; publishedSoft Constraints of Difference and Equality Emmanuel Hebrard Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-06-09 12:13:27 Computer programming Local consistency Constraint satisfaction Mathematical optimization FO Polynomial Parameterized complexity Decomposition method AC-3 algorithm Constraint programming Software engineering Theoretical computer science
67	Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning Rina Dechter Department of Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-14 17:35:41 Constraint optimization Mathematical optimization Mathematics Computer programming Local consistency Bayesian network Bucket Bucket sort Radix sort Constraint programming Computing Sorting algorithms
68	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
69	Filtering Algorithms for the NValue Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 LIRMM-CNRS Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Local consistency Constraint satisfaction Interval graph Linear programming Intersection graph Decomposition method Median graph Constraint programming Graph theory Theoretical computer science
70	Unifying Cluster-Tree Decompositions for Reasoning in Graphical models∗ Kalev Kask∗ , Rina Dechter∗ , Javier Larrosa∗∗ and Avi Dechter∗∗∗ ∗ Bren School of Information and Computer Science, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2005-04-17 02:08:23 Constraint graph Tree decomposition Bayesian network Graphical model Constraint satisfaction Directed acyclic graph Graph Local consistency Complexity of constraint satisfaction Graph theory Constraint programming Decomposition method

UPDATE